翻訳と辞書
Words near each other
・ Hamburger Börs
・ Hamburger Concerto
・ Hamburger Dinner Theater
・ Hamburger disease
・ Hamburger Dom
・ Hamburger Feuerkasse
・ Hamburger Flugzeugbau
・ Hamburger Flugzeugbau HFB-320 Hansa Jet
・ Hamburger Hallig
・ Hamburger Helper
・ Hamburger Hill
・ Hamburger Hochbahn
・ Hamburger Konservatorium
・ Hamburger Mary's
・ Hamburger Meile
Hamburger moment problem
・ Hamburger Morgenpost
・ Hamburger Pokal
・ Hamburger Ratsmusik
・ Hamburger RC
・ Hamburger Schule
・ Hamburger Segel-Club
・ Hamburger sign
・ Hamburger Speck
・ Hamburger Straße (Hamburg U-Bahn station)
・ Hamburger Stuten-Preis
・ Hamburger Stutenmeile
・ Hamburger SV
・ Hamburger SV (women)
・ Hamburger SV II


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Hamburger moment problem : ウィキペディア英語版
Hamburger moment problem
In mathematics, the Hamburger moment problem, named after Hans Ludwig Hamburger, is formulated as follows: given a sequence , does there exist a positive Borel measure ''μ'' on the real line such that
:m_n = \int_^\infty x^n\,d \mu(x)\ ?
In other words, an affirmative answer to the problem means that is the sequence of moments of some positive Borel measure ''μ''.
The Stieltjes moment problem, Vorobyev moment problem, and the Hausdorff moment problem are similar but replace the real line by [0,+\infty) (Stieltjes and Vorobyev; but Vorobyev formulates the problem in the terms of matrix theory), or a bounded interval (Hausdorff).
== Characterization ==

The Hamburger moment problem is solvable (that is, is a sequence of moments) if and only if the corresponding Hankel kernel on the nonnegative integers
:
A =
\left(\begin
m_0 & m_1 & m_2 & \cdots \\
m_1 & m_2 & m_3 & \cdots \\
m_2 & m_3 & m_4 & \cdots \\
\vdots & \vdots & \vdots & \ddots \\
\end\right)
is positive definite, i.e.,
: \sum_m_c_j\bar c_k\ge0

for an arbitrary sequence ''j'' ≥ 0 of complex numbers with finite support (i.e.
''cj'' = 0 except for finitely many values of ''j'').
For the "only if" part of the claims simply note that
: \sum_m_c_j\bar c_k= \int_^\infty \left|\sum_ c_j x^j\right|^2\,d \mu(x)
which is non-negative if \mu is non-negative.
We sketch an argument for the converse. Let Z+ be the nonnegative integers and ''F''0(Z+) denote the family of complex valued sequences with finite support. The positive Hankel kernel ''A'' induces a (possibly degenerate) sesquilinear product on the family of complex valued sequences with finite support. This in turn gives a Hilbert space
:(\mathcal, \langle, \; \rangle)
whose typical element is an equivalence class denoted by ().
Let ''en'' be the element in ''F''0(Z+) defined by ''en''(''m'') = ''δnm''. One notices that
:\langle (), () \rangle = A_ = m_ = \langle (), ()\rangle.
Therefore the "shift" operator ''T'' on \mathcal, with ''T''() = (), is symmetric.
On the other hand, the desired expression
:m_n = \int_^\infty x^n\,d \mu(x).

suggests that ''μ'' is the spectral measure of a self-adjoint operator. If we can find a "function model" such that the symmetric operator ''T'' is multiplication by ''x'', then the spectral resolution of a self-adjoint extension of ''T'' proves the claim.
A function model is given by the natural isomorphism from ''F''0(Z+) to the family of polynomials, in one single real variable and complex coefficients: for ''n'' ≥ 0, identify ''en'' with ''xn''. In the model, the operator ''T'' is multiplication by ''x'' and a densely defined symmetric operator. It can be shown that ''T'' always has self-adjoint extensions. Let
: \bar \,
be one of them and ''μ'' be its spectral measure. So
:\langle \bar^n (), () \rangle = \int x^n d \mu(x).
On the other hand,
: \langle \bar^n (), () \rangle = \langle T^n (), () \rangle = m_n. \,

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Hamburger moment problem」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.